bitkeeper revision 1.1159.74.1 (413f431aIw1lNSoAl0H63fnzXoSZ8Q)
authorkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Wed, 8 Sep 2004 17:36:26 +0000 (17:36 +0000)
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Wed, 8 Sep 2004 17:36:26 +0000 (17:36 +0000)
commit1a86c2ca603aad0fe6bf9c936e0e7d3416cf539c
treefe5b325e04f1c07ef46571a9861be170eb44c8ac
parent5f1960350fcbf7ef1681571634077cadec9f6498
bitkeeper revision 1.1159.74.1 (413f431aIw1lNSoAl0H63fnzXoSZ8Q)

Fix TLB flushing on page-type changes. In particular, page-table pages
must trigger a flush when their type changes. To simplify the code we also
flush for LDT/GDT pages, but they will change type very infrequently.
xen/arch/x86/domain.c
xen/arch/x86/memory.c
xen/include/asm-x86/mm.h